DNA coding and Gödel numbering

نویسندگان

چکیده

We consider a DNA strand as mathematical statement. Inspired by the work of Kurt Gödel, we attach to each Gödel’s number, product prime numbers raised appropriate powers. To chain corresponds single number G , and inversely given can specify it stands for. Next, considering composed N bases, study statistical distribution g logarithm . Our assumption is that choice m th term random with equal probability for four possible outcomes. The ‘experiment’, some extent, similar throwing times four-faces die. Through moment generating function obtain discrete then continuum There an excellent agreement between our formalism simulated data. At end compare actual data, presence non-random fluctuations.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gödel Homomorphisms as Gödel Modal Operators

We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...

متن کامل

Value Numbering

Value numbering is a compiler-based program analysis method that allows redundant computations to be removed. This paper compares hash-based approaches derived from the classic local algorithm1 with partitioning approaches based on the work of Alpern, Wegman, and Zadeck2. Historically, the hash-based algorithm has been applied to single basic blocks or extended basic blocks. We have improved th...

متن کامل

Gödel and Computability 1

We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel's theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.

متن کامل

SCC-Based Value Numbering

Value numbering is an optimization that assigns numbers to values in such a way that two values are assigned the same number if and only if the compiler can prove they are equal. When this optimization discovers two computations that produce the same value, it can (under certain circumstances) eliminate one of them. There are two competing techniques for proving equivalences: hashing and partit...

متن کامل

Gödel and Set Theory

Kurt Gödel (1906–1978) with his work on the constructible universe L established the relative consistency of the Axiom of Choice (AC) and the Continuum Hypothesis (CH). More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and laun...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Physica D: Nonlinear Phenomena

سال: 2022

ISSN: ['1872-8022', '0167-2789']

DOI: https://doi.org/10.1016/j.physa.2022.127053